widget-factory: Redo the new-style menu
authorMatthias Clasen <mclasen@redhat.com>
Thu, 6 Jun 2019 01:37:37 +0000 (01:37 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Sun, 9 Jun 2019 17:38:53 +0000 (17:38 +0000)
commit84243d0f55595c951d4f4b31c0976bb4c2df2130
treec56f4cbadf7c155dbfebc514b39353e18aceed00
parente080f35d2579831feaf123ba713057fb5a9440eb
widget-factory: Redo the new-style menu

Do this from a menu model first, since that
is easier to get right.
demos/widget-factory/widget-factory.ui